Theorem 13 LC