Theorem 11 LC