Existence inverzu (videokomentář)
Conditions d'achèvement
Dokončení ekvivalence třetí a čtvrté podmínky.