Great orthogonality theorem

Summary