theorem :: XPRIMES0:450

not 450 is prime