R/M中的与R中的≤T的关系

证明存在递归可枚举图灵度a和c使得ca,并且对每个递归可枚举图灵度b≤Ta, b≠c, 其中a是R/M中的一个元素，R/M是递归可枚举图灵度集R模可盖图灵度集M的商.