theorem Th21: :: AOFA_A01:21

for S being non empty non void ManySortedSign
for o being OperSymbol of S st the_arity_of o = {} holds
for A being MSAlgebra over S holds Args (o,A) = {{}}