theorem Th47: :: ALGSPEC1:47

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