theorem :: XPRIMES0:44

not 44 is prime