theorem :: XPRIMES2:2259

canceled;