合成数についての証明.