低基底定理
この列は 0 ′ {\displaystyle 0'} -計算可能である。弱ケーニヒの補題より [ T e ] {\displaystyle [T_{e}]} ( T e {\displaystyle T_{e}} の無限枝の全体)は空でない。 [ T e ] {\displaystyle [T_{e}]} はカントール空間 2 ω {\displaystyle 2^{\omega }} の閉集合であり、 2 ω {\displaystyle 2^{\omega }} はコンパクトだから、 ⋂ e ∈ N [ T e ] {\displaystyle \bigcap _{e\in \mathbb {N} }[T_{e}]} は空でない。 ⋂ e ∈ N [ T e ] {\displaystyle \bigcap _{e\in \mathbb {N} }[T_{e}]} の任意の元は T {\displaystyle T} の無限枝であって低次数を持つ。