Talk:Steinhaus conjecture