theorem :: XPRIMES1:766

canceled;