Bilinearform/Symmetrisch/Eigenwertkriterium/Fakt/Beweisverweis

Dies werden wir später als Korollar aus Fakt erhalten.