theorem :: XPRIMES1:2704

canceled;