Abadie Constraint Qualification Tangentialkegel ist gleich dem Linearisierungskegel T(Z,x)=Tl(Z,x) LICQ → ACQ