Esto es un hecho útil y podemos expresarlo en símbolos como