このことは、最初無限小(infinitesimal)を構成し、それから予備表現可能定理(prorepresentability theorem)を示し、これらを(formal scheme)の基底の上の対象へ写像する。