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