theorem :: XPRIMES2:2195

canceled;