(1)で証明できなくても(2)で使って問題解いても点ってくれるのかな?