Elementarily free groups are subgroup separable

Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela.