theorem Th45: :: ALGSPEC1:45

for S being Signature holds S is Extension of S