theorem :: XPRIMES1:727

727 is prime