theorem :: XPRIMES0:1450

not 1450 is prime