DEFINITION ex2_t()
TYPE =
       T
BODY =
Show proof