take {} T ; :: thesis: ( {} T is open & {} T is closed & {} T is connected )
thus ( {} T is open & {} T is closed & {} T is connected ) ; :: thesis: verum