Rephrases statement of theorem.