Witt#1: The Burnside Theorem [completed, not proofread] Theorem 1, the Burnside theorem ([1], 19.10). Let G be a finite group, and let X and Y be finite G-sets. Then, the following two assertions A and B are equivalent: Assertion A: We have X ∼ = Y , where ∼ = means isomorphism of G-sets.