Tensor saturation for even spin groups

We prove the saturation conjecture for $\mathrm{Spin}(2n)$, n ≥ 2. If three dominant integral weights sum to an element of the root lattice, then the existence of a nonzero tensor invariant after a positive integral dilation implies the existence of one at the original weights.