Entonces escribimos: