J. Myrheim, “A theorem on restricted group representations”., Math. Scand., vol. 37, pp. 193–196, Dec. 1975.