theorem :: XPRIMES1:2766

canceled;