theorem :: XPRIMES2:189

canceled;