thm 7.2 parentheses