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