theorem :: XPRIMES1:1272

canceled;