The sums of equal things and unequal things are unequals.
 John Stuart Mill, A System Of Logic, Ratiocinative And Inductive (1843). copy citation

Context

“The sums of equal things are equals. The differences of equal things are equals. There are no other original formulæ to prove equality. For inferring inequality we have the following: A whole and its parts are unequals. The sums of equal things and unequal things are unequals. The differences of equal things and unequal things are unequals. In all, eight formulæ. The angles at the base of an isosceles triangle do not obviously come within any of these. The formulæ specify certain marks of equality and of inequality, but the angles can not be perceived intuitively to have any of those marks.” source