theorem :: XPRIMES1:317

317 is prime