theorem :: XPRIMES2:3296

canceled;