Existence inverzu (videokomentář)
Требуемые условия завершения
Dokončení ekvivalence třetí a čtvrté podmínky.