theorem Th25: :: CATALG_1:25

for C being non empty set
for A being MSAlgebra over CatSign C
for a being Element of C holds Args ((idsym a),A) = {{}}