5B.3.3 ON-diagonalisering. Definithet.