1以外の任意の自然数は、素数かあるいは素数の積で表せることを、
累積帰納法を用いて示せ。