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

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