Qual é o dobro do dobro de 2?