theorem :: XPRIMES1:2965

canceled;