  We show that finite Milnor-Witt correspondences satisfy a cancellation
theorem with respect to the pointed multiplicative group scheme. This has
several notable applications in the theory of Milnor-Witt motives and
Milnor-Witt motivic cohomology.
