theorem :: XPRIMES0:135

not 135 is prime