theorem :: XPRIMES2:188

canceled;