>>435
背理法から示そうと
思っているのですが
うまく筋道がたてられなくて