However if X is proper and finite type over a perfect field there does exist a dualizing sheaf, and it agrees with the top nonzero homology sheaf of the dualizing complex.