We present a technical result for congruences on finite lattices.