Among other results of this paper, we single out the following ones. We show that division rings are the only division semirings over which the categories of semimodules are Schreier varieties, i.e., all subsemimodules of ...