Myrheim, J. (1975) “A theorem on restricted group representations”., Mathematica Scandinavica, 37, pp. 193–196. doi:10.7146/math.scand.a-11601.