なんか、前にも似たような言い争いがあったような、素数判別だっけ?