The double centralizer theorem for division algebras