The existence of resolution of singularities in characteristic zero is certainly used by much more people than those who know the details of its proves.