The honeycomb model of _{}(ℂ) tensor products I: Proof of the saturation conjecture