nが合成数ならば
素数p≦√nでp|nとなるようなものが存在することを示せ。