theorem :: AUTALG_1:2

for UA being Universal_Algebra holds UAAut UA c= Funcs ( the carrier of UA, the carrier of UA)