Bilinearform/Symmetrisch/Eigenwertkriterium/Fakt/Beweisverweis