(S. K. Thomason, 1971) Every finite distributive lattice can be embedded into the r.e. degrees.
(S. K. Thomason, 1971) 全ての有限な分配束はr.e.次数に埋め込める。