5.524 Caso os objetos estejam dados, nos estarão dados todos os objetos.

Caso as proposições elementares estejam dadas, já nos estão dadas tôdas as proposições elementares.