https://5dok.net/document/yng9oexk-ideal-i-ring-r-strongly-π-regular-exist.html