Compl CoCompl f = CoCompl Compl f = Cor f

I proved true the following conjecture:

Theorem for every reloid .

See here for definitions and proofs.