theorem :: XPRIMES2:2180

canceled;