theorem253 proofletpbethepositivesetcorrespondingtotheorderingonrifa2rnf0g published presentations and documents on DocSlides.