素数よか高度合成数を探すほうがキツい