Return to "Theorem" page.