Bases of a free semimodule are small.
scientific article; zbMATH DE number 6371063