theorem :: XPRIMES2:7966

canceled;