Stokes' theorem
follows immediately from Stokes' theorem. is lamellar, so the left side vanishes, i.e.