theorem :: XPRIMES2:1188

canceled;