DEFINITION pc3_gen_appls_sort_abst()
TYPE =
       ∀c:C
         .∀vs:TList
           .∀w:T
             .∀u:T
               .∀n:nat
                 .(pc3
                     c
                     THeads (Flat Appl) vs (TSort n)
                     THead (Bind Abst) w u)
                   →False
BODY =
Show proof