[see also: also, furthermore
Moreover, H is a free R-module on as many generators as there are path components of X.