The existence of Neron models. This gets used all the time when one talks of abelian varieties, but familiarity with the proof is almost never needed.