the_arity_of (ast C) = <*(an_Adj C),(a_Type C)*> by ABCMIZ_1:38;
hence len (the_arity_of (ast C)) = 2 by FINSEQ_1:44; :: according to ABCMIZ_A:def 15 :: thesis: verum