added proof'' for J_R^1