5.134

Da una proposizione elementare non è possibile dedurne un’altra.