Talk:Gallai–Hasse–Roy–Vitaver theorem