take
id
T
;
:: thesis:
(
id
T
is
continuous
&
id
T
is
one-to-one
)
thus
(
id
T
is
continuous
&
id
T
is
one-to-one
) ;
:: thesis:
verum