x . i is Point of T ;
hence x . i is Element of T ; :: thesis: verum