Theoretically we have Theorem 6.