let x be set ; :: thesis: for S being ManySortedSign holds SingleMSS x tolerates S
let S be ManySortedSign ; :: thesis: SingleMSS x tolerates S
thus ( the Arity of (SingleMSS x) tolerates the Arity of S & the ResultSort of (SingleMSS x) tolerates the ResultSort of S ) by PARTFUN1:59; :: according to CIRCCOMB:def 1 :: thesis: verum