Se puede demostrar que todas las propiedades son equivalentes (es decir que cualquiera de ellas implica la otra).