cf Double Happiness(判断是否为素数且为4k+1型)