Definition x := 3.

Lemma xeq : x = x.
Proof. auto. Qed.