Integrability criterion for a plane distribution
= Integrability criterion for a plane distribution
{title2=$\alpha\wedge d\alpha=0$}
The <Frobenius theorem> gives the local criterion
$$
\ker\alpha\text{ is integrable}\quad\Longleftrightarrow\quad\alpha\wedge d\alpha=0.
$$