In general the starting point of the definition and existence theorem of an invariant is a presentatProducator: SPRINGER VERLAG GMBH