5.134

De uma proposição elementar nenhuma outra pode ser deduzida.