$(*$

#####################################################

### PLEASE DO NOT DISTRIBUTE SOLUTIONS PUBLICLY ###

#####################################################

$*)$

$(*$

You are only allowed to use these tactics:

simpl, reflexivity, intros, rewrite, destruct, induction, apply, assert

You are not allowed to use theorems outside this file $*$unless$*$

explicitly recommended.

$*)$

$(*---------------------------------------------------------------------------*)$

$(**$

Show that $5$ equals $5.$

$*)$

Theorem ex$1$:

$5=5.$

Proof.

reflexivity.

Qed.