Ako je , i , biće i .
Ako naime nebi bilo , onda bi ono (po §-u 1) moralo biti . Tada bi pak (po §-u 13) moralo biti i , a to protivreči pretpostavci.