Kategorie:Theorie der orthogonalen Komplemente/Beweise