.
.
rewrite 5a.
ex5a