Podemos enunciarlo de la siguiente manera: