Template:Individual-TLP-paragraph-en-5.524

5.524 If the objects are given, therewith are all objects also given.

If the elementary propositions are given, then therewith all elementary propositions are also given.