t . i is Element of dom T ;
hence t . i is Node of T ; :: thesis: verum