Existence inverzu (videokomentář)
Abschlussbedingungen
Dokončení ekvivalence třetí a čtvrté podmínky.