Bilinearform/Symmetrisch/Eigenwertkriterium/Fakt/Beweis