逆に、"m" のすべての極小生成集合はこのようにして得られ、任意の2つのそのような生成集合は "r" に成分をもつ可逆行列によって関連付けられている。