theorem :: XPRIMES1:2764

canceled;