theorem :: XPRIMES2:2160

canceled;