theorem :: XPRIMES1:2967

canceled;