Theorem ELIS, "vector space" changed to "a vector space"