theorem :: XPRIMES0:134

not 134 is prime