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.