Free Module is Isomorphic to Free Module Indexed by Set