consider x being Point of T;
take {x} ; :: thesis: ( not {x} is empty & {x} is finite )
thus ( not {x} is empty & {x} is finite ) ; :: thesis: verum