Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality