Solèr's theorem (source code)

= Solèr's theorem
{wiki=Solèr's_theorem}