こうして改めて見ると、証明の概念を学ぶための題材として初等幾何が最適なのか疑わしくなるね