theorem :: XPRIMES1:307

307 is prime