s in the original proposition,—the not-Ys in the converted proposition consist of all which are subject to the same condition, and of an arbitrary remainder which are not subject to that condition. The equation (17) further shews that there are no
s which are not subject to that condition.
We can similarly reduce the equation
=
(1 -
), No