Im R,x = R .: {x} ;
hence Im R,x is Subset of Y ; :: thesis: verum