Tannery's theorem (source code)

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