13: Podmínky dávají (ve stejném pořadí):
Tato podmínka se redukuje na
Teď tyto podmínky pronikněte.
Výsledek