let a be Point of T; :: thesis: R62(T,a,a)
thus a,a are_connected ; :: thesis: verum