Theorem 8.2 on p. 30 of *Models for smooth infinitesimal analysis* by Moerdijk and Reyes. The theorem works with $C^\infty$ rings, which are a bit more general than algebras of functions. The advantage is that the proof is short.