theorem :: XPRIMES2:186

canceled;