>>329
背理法を使ってもいいぞ