Redirecting to Dimension theorem for vector spaces