素数なら重なるなよ