theorem25 3 proof letpbethepositivesetcorrespondingtotheorderingonr ifa2rnf0g published presentations and documents on DocSlides.