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

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