Unfinished proof of R_of_RCut