証明問題は嫌いや……