the_arity_of (non_op C) = <*(an_Adj C)*> by ABCMIZ_1:38;
hence len (the_arity_of (non_op C)) = 1 by FINSEQ_1:39; :: according to ABCMIZ_A:def 14 :: thesis: verum