Select a theorem from the left.