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