Selbstverständlich.
Es ist übrigens ein Axiom, dass etwas immer gleich sich selbst ist. Formal: ∀x(x=x). (Die exakte Formulierung könnte natürlich in anderen Axiomensystemen anders sein, der Kern bleict aber immer gleich.) Daraus lässt sich jetzt durch einfache Einsetzung für ableiten, dass gilt.