有限集合上の Bhargava グリーディオイドは Gaussian elimination グリーディオイドである

有限集合上の Bhargava グリーディオイドは、十分に大きな (例えば無限の) 体上の Gaussian elimination グリーディオイドである。