Theorem quotes