theorem Th3: :: AUTALG_1:3

for UA being Universal_Algebra holds id the carrier of UA in UAAut UA