theorem ThISRank1: :: ZMODUL06:34

for V being torsion-free Z_Module
for W1, W2 being free finite-rank Subspace of V holds rank (W1 /\ W2) <= rank W1