Maekawa's theorem (source code)

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