問1は簡単じゃないと思うがな。確かに知識は中一レベルで良いかもしれんが、
いろいろとトラップがあって、それを全部潰して厳密に証明するのは大変。