Description: Any subset of a module over a zero ring is always linearly independent. (Contributed by AV, 27-Apr-2019)