5.134 From an elementary proposition no other can be inferred.