ランがありません

fatal_theoryはまだランを持っていません。