theorem :: XPRIMES0:1448

not 1448 is prime