theorem Th48: :: ALGSPEC1:48

for S1, S2 being non empty Signature holds S1 +* S2 is Extension of S2