I de förra bevista de representationeraf