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

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