Property: (right/left) free ideal ring