ペアノ公理系で比較的簡単に証明出来そうな定理ということで、算術の基本定理を選んでみたけど、これでもちょっと複雑すぎる・・・

さらに落としてユークリッドの補題を考えてみたけどこれですら、どうやって主張を式に落とすのかなんだかよくわからない・・・