Jensen (1972) showed that the diamond principle ◊ implies the existence of Suslin trees.
イェンセンは1972年にダイヤモンド原理 ◊ がススリン木の存在を含意することを示した。