theorem :: XPRIMES2:2296

canceled;