自力で証明する方が難しいに決まってるだろ