theorem :: XPRIMES1:677

677 is prime