6*6マスのオセロは後手必勝である事を証明せよ。

ある自然数ｎが素数であるか合成数であるかを判定するため
1からkまでの自然数でｎを割っていくことを考える。
判定が完了した時、必ずk<=√ｎであることを証明せよ。