theorem :: XPRIMES0:377

not 377 is prime