theorem :: XPRIMES1:373

373 is prime