theorem :: XPRIMES1:767

canceled;