r/m中的与r中的≤t的关系

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