入試で証明問題をもっと出せばいいのに、とおもうんだが
難しいか、、、