Forcing algebra/Regular ring/Roberts/Example