wikiの素数の項目のその他の性質の三行目の定理(?)って有名?