(Drake 1974, chapter 7 theorem 3.5) κ is inaccessible and has the tree property, that is, every tree of height κ has either a level of size κ or a branch of size κ.
(Drake 1974, chapter 7 theorem 3.5) κ が 到達不能で、tree property（高さ κ のいかなる木もサイズ κ のレベルか枝を持つこと。