theorem Th2: :: PENCIL_4:2

for F being Field
for V being VectSp of F
for W being Subspace of V holds W is Subspace of (Omega). V