ICode9

定义：每个非空集合中发非负整数都一定有一个最小的数 良序关系的利用： 例一：      例二证明：任何大于1的整数均可被表示成一串唯一素数之乘积 For Q1： Proof：假设不是素数乘积的正整数构成了一个 set（集合），那么在 set 中必存在最小值 m（利用上面的良序定理） 而且 m 必不是素数，因为若 m