Steinhaus theorem (source code)

= Steinhaus theorem
{wiki=Steinhaus_theorem}