Template:Individual-TLP-paragraph-en-5.134

5.134 From an elementary proposition no other can be inferred.