Pedro nació el día que Ana cumplió 3 años. ¿Cuántos años tendrá Pedro cuando Ana tenga el doble de años que él?