I.cn.4

Things which coincide with one another are equal to one another.