Talk:Olech theorem