for S being Signature holds S is Extension of S