theorem :: XPRIMES2:2260

canceled;