This site is being phased out.

Lemma about fundamental correspondence