theorem :: XPRIMES1:2665

canceled;