最小の到達不可能基数をκとする

到達不可能基数が存在しないなら
Vκ＝Vなので　
Vκ⊊U⊊Vとなるグロタンディク宇宙Uは存在しない

到達不可能基数が存在し、なおかつ一つではないなら
κ≦λなる到達不可能基数λについて
Vλ＝Uとなるグロタンディク宇宙が存在し
Vκ⊆U⊊V

（完）