>>773
はいりはいりふれ背理法
あれは違うか