theorem :: XPRIMES1:337

337 is prime