theorem :: XPRIMES0:46

not 46 is prime