La A vær en abelsk kategori, og H vær det abelske hjertet til en t-struktur over Db(A). Vi vil da vise at vi alltid kan konstruere en "realization functor" Db(H) -> Db(A), som restriktert til H vil være lik identitetsfun ...