5
Der Beweis f
ür das Argument
⊢
a
=
a
ist sehr kurz:
(1)
a
=
a
=
E