let a, s, t be complex number ; :: thesis: {a} /// {s,t} = {(a / s),(a / t)}
thus {a} /// {s,t} = {a} ** {(s " ),(t " )} by Th44
.= {(a / s),(a / t)} by Th105 ; :: thesis: verum