Theorem CUMOS Columns of Unitary Matrices are Orthonormal Sets

Suppose that $S=\set{\vectorlist{A}{n}}$ is the set of columns of a square matrix $A$ of size $n$. Then $A$ is a unitary matrix if and only if $S$ is an orthonormal set.

Proof
(in context)