The Weil conjectures: The target theorem