theorem :: XPRIMES1:1060

canceled;