5.134

From an elementary proposition no other can be inferred.