“São Patrício e Deus Ronaldo” dispensam calculadoras: Portugal está nos oitavos