I have claimed that I have proved this theorem:
Theorem Let is a -separable (the same as for symmetric transitive) compact funcoid and is an reflexive, symmetric, and transitive endoreloid such that . Then .
The proof is with errors and omissions however.
Please help me to correct the proof. See also this question.