Es sei X {\displaystyle {}X} ein projektives Schema über einem Körper K {\displaystyle {}K} .
Dann ist die Euler-Charakteristik von kohärenten Garben auf X {\displaystyle {}X} additiv für kurze exakte Sequenzen.
D.h. für eine kurze exakte Sequenz von kohärenten Garben
ist