DEFINITION THeads()
TYPE =
       K→TList→T→T
BODY =
Show proof