theorem :: XPRIMES2:2188

canceled;