Wendel's theorem (source code)

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