Theorem 46