Con estas definiciones, se cumple el