O que é o dobro do quadrado de 5?