Mathematical result about equivariant K-theory in homotopy theory