f
.
[
a
,
b
]
is
Element
of
C
;
hence
f
.
(
a
,
b
) is
Element
of
C
;
:: thesis:
verum