theorem :: XPRIMES0:177

not 177 is prime