“…To prove this, first derive (5.9), which follows straightforwardly from (5.7). The expressions for the coefficients of N (n,k,d) is much more difficult, but the Appendix of [43] uses the fixed-point factorisation of [48] to compute Since these two Ver k (G n )-modules have identical formulas for multiplication by the fundamental weights Λ m , which generate Ver k (G n ), they are isomorphic as Ver k (G n )modules, and in fact N λ = N (n,k,d) λ for all λ ∈ P k + (G n ). Therefore the coefficients of N (n,k,d) are nonnegative integers, and so N = N (n,k,d) is indeed a nimrep compatible with Z J n .…”