Clearly it is impossible to demonstrate the universal; for what is universal is proved through propositions which are universal, but the conclusion is not universal, and the proof must start from the conclusion and the other proposition.