Aquí, se ha usado la simplificación de notación