theorem :: XPRIMES1:743

743 is prime