use(verband).

A >= B -> glb(A,lub(B,C)) = lub(B,glb(A,C)).