DEFINITION ex1_t()
TYPE =
       T
BODY =
Show proof