theorem :: XPRIMES2:7936

canceled;