DEFINITION TApp()
TYPE =
       TList→T→TList
BODY =
Show proof