let I be non empty Subset of R; :: thesis: ( I is left-ideal implies I is right-ideal )
assume I is left-ideal ; :: thesis: I is right-ideal
then for p, x being Element of R st x in I holds
x * p in I ;
hence I is right-ideal ; :: thesis: verum