Proves a cohomological formula for the Grothendieck-Witt–valued Euler characteristic of smooth projective varieties given by A1-homotopy theory, using Levine’s Gauss-Bonnet formula.