theorem :: XPRIMES0:132

not 132 is prime