for x being FinSequence holds not x in dom {} ;
hence arity {} = 0 by UNIALG_1:def 10; :: thesis: verum