theorem :: XPRIMES0:1248

not 1248 is prime