[see also: also, furthermore, likewise]
Moreover, $H$ is a free $R$-module on as many generators as there are path components of $X$.
Since $A=B$ and $B=C$, and since moreover $C=D$, it follows that $A=C$.
We defer the proof of the `moreover' statement in Theorem 5 until after the proof of the lemma.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z