Removes parentheses from align environment comments; adds near-converse to theorem.
Replaces \subseteq with more descriptive =.