theorem :: XPRIMES0:781

not 781 is prime