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