theorem :: XPRIMES1:787

787 is prime