Poincaré duality
By repeating this argument with the sheaf "k"X replaced with the same sheaf placed in degree "i" we get the classical Poincaré duality