Lemma 3.5.
Assuming that:
C
⇄
G
F
D
⇄
K
H
E
(
F
⊣
G
)
and
(
H
⊣
K
)
Then
(
H
F
⊣
G
K
)
.