theorem :: XPRIMES1:647

647 is prime