Myrheim J. A theorem on restricted group representations. Math. Scand. 1975;37:193-196. doi:10.7146/math.scand.a-11601