Damit kann man schön (mit nicht frei in ) herleiten, aber nicht zum Beispiel für beliebige , jedoch schon. Leere Modelle werden von letzterem nicht ausgeschlossen, da es in solchen keine Belegung von gibt. -- Daniel5Ko 23:49, 9. Okt. 2021 (CEST)