theorem :: XPRIMES1:1888

canceled;