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