κ-到達可能圏の定義から、 ある κ-表示可能対象の κ-有向図式 F:󰒠→󰒚 が存在して、 C は F の余極限として書ける。 ここで、 󰒠 は小であるから、 ある正則基数 λ がとれて、 󰒠 が λ-小であるようにできる。 さらに、 この λ は κ≤λ を満たすようにとることができる。 すると、 定理 3.3 によって κ-表示可能対象は λ-表示可能でもあるから、 F は λ-表示可能対象の λ-小図式と見なせる。 定理 3.4 を使えば、 そのような F の余極限 C が λ-表示可能であることが分かる。

κ-表示可能対象 S をとり、 C は S の分裂部分対象であるとする。 すなわち、 CCSidCme という分解があるとする。 任意に κ-有向図式 F:󰒠→󰒚 の余極限 (di:Fi→D)i∈󰒠 および射 f:C→D をとる。 S は κ-表示可能だから、 ある I の対象 i が存在して、 SCDFiefdi という分解ができる。 しかし、 m󰖡e=idC であったから、 この図式に前から m を合成することで、 CDFifdi という可換図式も得られる。 このような C からの射の分解の本質的一意性も、 S からの射の分解の本質的一意性を用いて容易に示せる。 以上により、 C は κ-表示可能である。

条件 1 ⇒ 条件 2:この証明の大部分は、 定理 6.9 の証明において条件 5 から条件 1 を導く部分と共通しているので、 そこでの議論も参照すると良いだろう。

まず、 󰒚 は κ-到達可能だから、 κ-表示可能対象の κ-有向図式 F:󰒠→󰒚 が存在して、 C=colimF と書ける。 この余極限余錐を (ci:Fi→C)i∈󰒠 とおく。 ここで、 󰒢:={X⊆󰒠∣|X|<λ であって X は κ-有向} とおくと、 κ⪪λ であることから定理 6.9 が使えて、 これが λ-有向であることが分かる。 ここで、 󰒢 の元 X に対し、 GX:=colim(❲X↪󰒠❳󰖡F) とおくと、 余極限の普遍性によって射 dX:GX→C がとれる。 ここで、 󰒢 の対象 X,X󰎘 が X⊆X󰎘 を満たすとすると、 再び余極限の普遍性によって射 GX→GX󰎘 がとれるから、 これによって関手 G:󰒢→󰒚 と見なせる。 さらに、 (dX:GX→C)X∈󰒢 は余錐を成し、 余極限にもなっていることが容易に示せる。

さて、 C は λ-表示可能かつ λ-有向余極限であるから、 idC:C→C を考えると、 ある 󰒢 の元 X が存在して、 CCGXidCdX と分解できる。 定義から GX は κ-表示可能対象の κ-有向 λ-小余極限であるから、 これで示したいことが示された。

条件 2 ⇒ 条件 1:定理 3.3 によって κ-表示可能対象は λ-表示可能でもあるから、 C は λ-表示可能対象の λ-小余極限の分裂部分対象である。 さらに、 定理 3.4 によって λ-表示可能対象の λ-小余極限は λ-表示可能であるから、 C は λ-表示可能対象の分裂部分対象である。 最後に、 補題 7.3 によって C は λ-表示可能である。

各 L の元 l に対し、 Φl は κl-到達可能であるとする。 定理 6.15 により、 ある正則基数 τ がとれて、 σ≤τ であって、 どんな l についても 󰒚l と 󰒛l をともに τ-到達可能にできる。 次に、 各 L の元 l および 󰒚l の τ-表示可能対象 C に対し、 定理 7.2 により、 ある正則基数 τlC がとれて、 ΦlC は 󰒛l において τlC-表示可能であるとできる。 ここで、 τ-到達可能圏の τ-表示可能対象は同型の違いを除いて集合サイズしか存在しないから、 {τlC}l,C は集合である。 したがって、 sup{τlC}l,C と τ のどちらよりも大きい正則基数 λ󰎘 をとれる。 これを用いて、 さらに λ:=(2λ󰎘)+ とおく。 すると、 任意の L の元 l および 󰒚l の τ-表示可能対象 C に対して、 τlC≤λ であるから、 定理 3.3 によって ΦlC は 󰒛l で λ-表示可能である。 また、 任意の L の元 l に対し、 命題 6.12 によって τ⪪λ であるから、 定理 6.9 によって 󰒚l と 󰒛l はともに λ-到達可能である。 さらに、 任意の L の元 l に対し、 κl≤τ≤λ であるから、 Φl は τ-有向余極限も λ-有向余極限も保つ。 以上をまとめると、 正則基数 τ と λ であって、

• σ≤τ≤λ かつ τ⪪λ が成り立つ。
• 任意の L の元 l に対し、 󰒚l と 󰒛l はともに τ-到達可能かつ λ-到達可能である。
• 任意の L の元 l に対し、 Φl の τ-表示可能対象の像は λ-表示可能である。
• 任意の L の元 l に対し、 Φl は τ-有向余極限も λ-有向余極限も保つ。

を全て満たすものがとれたことになる。 これより、 まず Φl が λ-到達可能であることが分かる。 したがって、 あとは Φl が λ-表示可能対象を保つことを示せば良い。

任意に 󰒚l の λ-表示可能対象 C をとる。 定理 7.4 により、 C は τ-表示可能対象の τ-有向 λ-小余極限の分裂部分対象である。 Φl の τ-表示可能対象の像は λ-表示可能であり、 Φl は τ-有向余極限を保つのであったから、 ΦlC が λ-表示可能対象の τ-有向 λ-小余極限の分裂部分対象であることが分かる。 さらに定理 3.4 を使えば、 ΦlC が λ-表示可能対象の分裂部分対象であることが分かる。 最後に補題 7.3 により、 ΦlC 自身も λ-表示可能である。