1 in StoppingSet 2 ;
hence 1 in StoppingSetExt 2 by XBOOLE_0:def 3; :: thesis: verum