Talk:Grothendieck existence theorem