theorem :: XPRIMES1:2761

canceled;