theorem :: XPRIMES0:1278

not 1278 is prime