Any two propositions necessarily give a valid new conclusion.

Ḥujjah: Deriving a Conclusion from Known Judgments