theorem :: XPRIMES1:313

313 is prime