theorem :: XPRIMES0:133

not 133 is prime