El doble de seis disminuido en la tercera parte de nueve.​