theorem :: XPRIMES0:1260

not 1260 is prime