for S being feasible ManySortedSign holds S is Subsignature of S