Im (E,x) = E .: {x} ;
hence X-section (E,x) is Subset of Y ; :: thesis: verum