Talk:Woltjer's theorem