theorem :: XPRIMES0:154

not 154 is prime