One sentence to rule them all
Here is the whole guide in a single line, and it is worth staring at before we earn it: the integral of d-omega over a region M equals the integral of omega over the boundary of M. Written compactly, integral over M of d-omega = integral over boundary-of-M of omega. That is the generalized Stokes' theorem. On the left, omega is a differential form, you take its exterior derivative d-omega, and you integrate that over the whole region. On the right, you take the same form omega — undifferentiated — and integrate it over the region's edge. The theorem says these two numbers are always equal. No coordinates, no vector fields, no special case: one equation, every dimension.
Notice the deep symmetry hiding in the notation: there is a d on the left side of the equation, sitting on the form, and a d on the right side — the boundary symbol — sitting on the region. The exterior derivative and the boundary operator are mirror images of one another. Taking d of a form is, in a precise sense, the dual of taking the boundary of a shape. That is the engine of everything that follows, and it is why the earlier guides in this rung spent so long on the exterior derivative and on the boundary of a chain. Both halves were being built so they could meet here, on opposite sides of one equals sign.
Why it is true: the telescoping picture
You already believe the simplest case of this theorem — you proved it in your first calculus course. The fundamental theorem of calculus says the integral from a to b of f'(x) dx equals f(b) - f(a). Read it in the new language. The region M is the interval [a, b], a one-dimensional thing. Its boundary is just two points, the endpoints b and a. The form omega is the function f itself (a 0-form), and d-omega is f'(x) dx. So the left side, integral over M of d-omega, is the integral of f'(x) dx along the interval; the right side, integral over the boundary of omega, is f evaluated at the two endpoints — with a plus at b and a minus at a, the orientation of the boundary. The generalized theorem is the fundamental theorem of calculus with the training wheels taken off.
And the proof in higher dimensions is, at heart, that same one-dimensional fact applied over and over, plus a cancellation. Here is the picture. Chop the region M into a fine grid of tiny cells. Over each tiny cell, the theorem is almost trivially true — d-omega measures, by its very construction in the previous guide, the little bit of omega that fails to cancel around the cell's own miniature boundary. Now add up over all the cells. When two cells sit side by side, they share a wall — and each traverses that shared wall in the opposite direction. So the shared interior wall is integrated twice with opposite signs, and it cancels. Every interior wall is shared by exactly two cells and dies the same death.
When all the interior walls have cancelled in pairs, what survives? Only the walls that belong to a single cell — the cells on the outer rim, whose outward face is not shared with anyone. Those un-cancelled faces are exactly the boundary of M. So the sum of d-omega over every tiny cell collapses to an integral of omega over the outer edge alone. This is the same telescoping collapse that makes a sum of differences f(x1)-f(x0) + f(x2)-f(x1) + ... fold down to just f(end) - f(start): everything in the middle annihilates, only the two ends remain. The generalized Stokes' theorem is that telescope run in every dimension at once.
Setting the dials: omega's degree picks the theorem
The magic is that this one equation has dials. The form omega has a degree — it can be a 0-form (a function), a 1-form, a 2-form, and so on — and the region M has a dimension. The rule of the game, fixed by the integral signs themselves, is that you integrate a k-form over a k-dimensional region: if omega is a k-form then d-omega is a (k+1)-form, so M must be (k+1)-dimensional and its boundary is k-dimensional. Turn the dial to a different degree and the same master equation prints out a different classical theorem, word for word. Each of Green's, Stokes', and the divergence theorem is simply this line with omega set to one particular kind of form in one particular dimension.
To make the translation work you need the dictionary from the previous guide — the one that turns vector calculus into forms. Recall its three entries. A vector field F has a partner 1-form (its components paired with dx, dy, dz) and a partner 2-form (its components paired with the oriented area pieces dy^dz, dz^dx, dx^dy). Taking d of the 0-form f reproduces the gradient. Taking d of F's 1-form reproduces the curl. Taking d of F's 2-form reproduces the divergence. Gradient, curl, divergence — three different-looking operations of vector calculus — are all the single operator d, just acting on forms of degree 0, 1, and 2. With that dictionary in hand, every classical integral theorem becomes a reading of one master line.
MASTER: integral_M d-omega = integral_(boundary M) omega omega M (dim) d-omega is... classical theorem ------------------------------------------------------------- 0-form curve f'(x) dx Fundamental Thm of Calc f [a,b] int f' = f(b) - f(a) 1-form surface curl, as 2-form Stokes' theorem (F) in 3-space int curl F . dS = oint F . dr 1-form flat region curl_z, scalar Green's theorem (F) in plane int (Q_x - P_y) dA = oint P dx + Q dy 2-form solid div F, as 3-form Divergence (Gauss) theorem (F) in 3-space int div F dV = int_(surface) F . dS
Watching the classical three fall out
Take the dials one at a time. First Green's theorem. Let M be a flat region in the plane and omega the 1-form P dx + Q dy attached to a planar field F = (P, Q). Compute d-omega using the rules from the last guide: d(P dx) = (partial P / partial y) dy^dx and d(Q dy) = (partial Q / partial x) dx^dy, and since dy^dx = -dx^dy these combine into (Q_x - P_y) dx^dy. So the master line reads: integral over the region of (Q_x - P_y) dA equals the integral over its boundary curve of P dx + Q dy. That is Green's theorem exactly — the circulation of F around a loop equals the integral of its scalar curl over the enclosed area. Nothing was assumed but the dictionary and the master equation.
Now lift the same 1-form off the flat plane and drape it over a curved surface in 3-space, and you get Stokes' theorem — the one the whole apparatus is named after. Again omega is F's 1-form, but now d-omega is the full 2-form that the dictionary identifies with nabla cross F, the curl of F. The master line becomes: the integral over the surface of (curl F) dotted into the oriented area element equals the integral of F around the surface's bounding loop. In symbols, integral over S of (nabla cross F) . dS = oint around the boundary of F . dr. The swirl of the field threading through a surface equals the field's circulation around the rim of that surface. Green's theorem was just this with a flat surface; Stokes' lets the surface bend.
Last, turn omega up to a 2-form and let M be a solid chunk of 3-space. Now omega is the flux 2-form of F (its components paired with the oriented area pieces), and d-omega works out to be the volume form times the divergence of F, the 3-form (div F) dx^dy^dz. The master line becomes the divergence theorem: the integral over the solid of div F dV equals the integral over its bounding surface of F dotted into the outward area element. The total of the field's sources packed inside a volume equals the net flux leaking out through its skin. Same line, omega now a 2-form, M now solid — the third classical theorem, printed off the same press.
The honest fine print
This theorem is beautiful, but it is not unconditional, and the conditions are exactly the ones the classical theorems quietly carried all along. First, orientation. Both integrals are oriented integrals, and the boundary inherits an orientation from M by a fixed rule — the famous "outward normal, right-hand circulation" convention is just that induced orientation. If you flip the boundary's orientation, the right side changes sign and the equation breaks. The minus sign on f(a) in the fundamental theorem, the outward-pointing normal in the divergence theorem, the right-hand rule in Stokes' — these are not three separate rules to memorize but one boundary-orientation convention wearing three costumes. Orientation is not a technicality you may skip; it is half of what makes the equation true.
Second, smoothness and regularity. The standard statement asks that omega be a continuously differentiable form and that M be a manifold-with-boundary that is smooth enough — compact, oriented, with a piecewise-smooth boundary. A field with a singularity inside M, like an inverse-square field blowing up at the origin, is not covered by the bare theorem: the missing point is a real hole, and ignoring it gives wrong answers. This is not a flaw; it is the doorway to the next guide. When d-omega = 0 yet the boundary integral refuses to vanish, the region itself has a hole, and measuring that failure is precisely de Rham cohomology. The fine print is where the topology lives.
A common misreading worth heading off: the theorem does not say the boundary integral is always zero. It is zero only when M has no boundary at all — a closed surface like a sphere, which bounds no edge. For such a closed M the right side vanishes, so the integral of d-omega over it is zero too; this is the slick reason the flux of a curl through any closed surface is zero. But for a region with a genuine edge, the boundary integral is a perfectly real, generally nonzero number. And one more honest note: this single theorem subsumes the classical ones, but learning it does not make their hands-on machinery obsolete. To actually compute a flux or a circulation you still parametrize surfaces and curves and grind the integrals the old way. The forms picture tells you why the theorems are one and when they hold; it does not do your arithmetic for you.
What to carry forward
Hold onto the shape of the idea more than any one formula. There is a single operator d that differentiates forms, and a single operator that takes the boundary of a region, and they are adjoint across an integral sign — that is the whole content. Once you carry that, the wall of named theorems from third-semester calculus stops being a wall: the fundamental theorem of calculus, Green's, Stokes', and the divergence theorem are one statement seen at four settings of a dial, and the orientation rules that always felt arbitrary become the single boundary-orientation convention. You have replaced a list to memorize with a picture to understand.
And keep one loose thread in view, because the next guide pulls it. The master equation has a partner fact, proved earlier in this rung, that the exterior derivative applied twice is always zero — d of d-omega vanishes. Read through Stokes' theorem, that single algebraic identity says the boundary of a boundary is empty: the edge of a region has no edge of its own. That is why a curl has no divergence and a gradient has no curl. The interplay between "d-squared is zero" and "when can a closed form be written as d of something" is the seed of de Rham cohomology, where this rung is headed. For now, let the one-line theorem settle: differentiate over the bulk, evaluate on the boundary.