The wording for the "prove the set of orthogonal matrices" is a group is weird. Do a full document search.
