thus
F
"
is
one-to-one
;
:: thesis:
F
"
is
semi-continuous
hence
F
"
is
semi-continuous
;
:: thesis:
verum