If ≤_m and ≤_T collapsed, all sets in the same Turing degree would share many-one degree, contradict...
This proposition has not been edited since the history system was added.