Pedro tem o dobro da idade de João. Se João tem 5 anos, quantos anos tem Pedro?