未確認のランはありません

fragileformula は未確認のランがありません。