基本的には、皆さんがよく使うであろう式や定理を証明してもらう問題にしてあります。第2問は難しいかもしれませんが、それ以外は標準的な問題にしたつもりです。ただ、本当にスタンダードかはわからないので、難しくて解けなくても問題ないかなと思います。