att bevista representationen å K.