theorem :: XPRIMES0:45

not 45 is prime