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