theorem Th51: :: ALGSPEC1:51

for S, T being Signature st S is empty holds
T is Extension of S