Theorem253 ProofLetPbethepositivesetcorrespondingtotheorderingonRIfa2Rnf0gtheneitheraoraisinPandsobyclosurea2a2isalsoinPthusallsquarearepositiveUsingthis112isalwayspositivesoagainbyclo ID: 520238
Theorem25.3 Proof.LetPbethepositivesetcorrespondingtotheorderingonR.Ifa2Rnf0g