theorem :: XPRIMES2:1888

canceled;