Woltjer's theorem (source code)

= Woltjer's theorem
{wiki=Woltjer's_theorem}