That is, equality is transitive.
Δηλαδή η ισότητα είναι μεταβατική.