consider X being infinite set ;
take CofinTop X ; :: thesis: ( CofinTop X is T_1 & not CofinTop X is sober )
thus ( CofinTop X is T_1 & not CofinTop X is sober ) ; :: thesis: verum