Talk:Ruzsa triangle inequality