Concept: $\oint \vec F\cdot d\vec r = \int \vec\nabla\times\vec F\cdot d\vec A$ (editing)

Prerequisite concepts

$\oint \vec F\cdot d\vec r = \int \vec\nabla\times\vec F\cdot d\vec A$

FIXME