theorem :: XPRIMES0:627

not 627 is prime