ランがありません

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