theorem :: XPRIMES1:733

733 is prime