theorem Th26: :: CATALG_1:26

for A being Category
for a being Object of A holds Result ((idsym a),(MSAlg A)) = Hom (a,a)