theorem :: XPRIMES1:1290

canceled;