Minor revision on lem S-determ