Theorem 47