Stokes' theorem, both sides