let x be Element of F; :: thesis: x is Dependency of X
thus x is Dependency of X ; :: thesis: verum