theorem Th4: :: PENCIL_4:4

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