κ-アロンシャイン木が存在しない基数κはtree propertyを持っているという。