A discrete sequence associated with mixed finite elements and its gauge condition for vector potentials