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