El duplo de un numero es igual al sucesor de 17