Lawson–Woodward theorem (source code)

= Lawson–Woodward theorem
{wiki=Lawson–Woodward_theorem}