If then deductions are taken with respect to their main propositions, every deduction will consist of an even number of propositions and an odd number of terms (for the terms exceed the propositions by one), and the conclusions will be half the number of the propositions.