どのみち無限大に飛ばした時、切り取り線分は
縦に１の線分になってるはず
１じゃない値の線分になってるなら矛盾してるだろ