>>554
背理法が何たるか分かってないヤツ発見