Австрийские математики назвали победителя чемпионата мира по футболу