theorem :: XPRIMES2:206

canceled;