Theorem 12 LC