Ushiki's theorem (source code)

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