Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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.