Aufgabe:
Sei O eine n × n-Matrix, deren Spalten eine Orthonormalbasis bezüglich des Standardproduktes bilden. Zeigen Sie, dass OOt die Einheitsmatrix ist.