初等整数論をやらなきゃいかん，と決意して勉強し始めたところ，除法の原理の証明で行き詰った．定理．（除法の原理） 自然数 に対して を満たす整数 が存在する．ただし である．ネットで検索したら，この証明はペアノの公理から始めて，最小値原理を認めな…