theorem :: XPRIMES1:1160

canceled;