线性方程组对应行最简形矩阵可能某 个自由未知量夹在两个主元之间

一般情况下，主元都在左边那一堆、自由未知量都在右边那一堆。但有时候，可能某个自由未知量夹在两个主元之间，也就是说该阶梯可能有某一级水平长度多于1列。
我们课本线性方程组解的构成那一节系数矩阵最终化为的行最简形矩阵的例子就没有考虑包含这种情况。
线性方程组具体满足什么条件才会化为阶梯形状是这样的行最简形矩阵?