theorem :: XPRIMES1:1767

canceled;