Talk:Grothendieck's connectedness theorem