STICHWORT:

Grundwartungssatz