r_thms22