Bilinearform/Symmetrisch/Minorenkriterium für Typ/Fakt/Beweis/Aufgabe