thus T . x is Element of F ; :: thesis: