Heegaard surfaces and measured laminations, I: the Waldhausen conjecture - Tao Li (2004)