Talk:Stewart–Walker lemma

and what is T_0 ????