theorem Th46: :: ALGSPEC1:46

for S1 being Signature
for S2 being Extension of S1
for S3 being Extension of S2 holds S3 is Extension of S1