Existence inverzu (videokomentář)
Požadavky na absolvování
Dokončení ekvivalence třetí a čtvrté podmínky.