theorem XXTh2: :: ZMODUL04:18

for V being free Z_Module
for A, B being Subset of V st A is linearly-dependent & A c= B holds
B is linearly-dependent by VECTSP_7:1;