theorem :: XPRIMES2:2190

canceled;