Let (Aα,ϕβα) be a direct system of rings whose indexing set is directed, A=limAα, and ϕα:Aα→A the canonical homomorphism. If we write Xα=Spec(Aα), (Xα,aϕβα) is an inverse system of topological spaces and, if X=Spec(A), the aϕα:X→Xα, form an inverse system of continuous mappings. Show that u=limaϕα is a homeomorphism of X onto limXα. (Prove first that, if, for all a, pα is a prime ideal of Aα, such that pα=ϕβα−1(pβ) for all a≤β, the union p of the ϕα(pα) is a prime ideal of A; conversely, every prime ideal p of A is the union of the ϕα(pα), where pα=ϕα(p). Finally, if fα∈Aα and f=ϕα(fα), note that the relation p∈X, is equivalent to