DEFINITION ex1_c()
TYPE =
       C
BODY =
Show proof