3.2_証明を楽にするコツ