• 1. 任何非0自然数的最小因数都是它本身。