Description: Vector spaces are modules. (Contributed by BJ, 9-Jun-2019) (Proof modification is discouraged.)