Theorem 4, p. 9 — (7) ⇒ (10) ⇒ (17) ⇒ (13) ⇒ (22) with one constant κ, i.e. S ⊆ qS ⊆ G ⊆ U ⊆ F

Initializing...

Theorem 4, p. 9 — (7) ⇒ (10) ⇒ (17) ⇒ (13) ⇒ (22) with one constant κ, i.e. S ⊆ qS ⊆ G ⊆ U ⊆ F · Prove2Me