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.
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.