Twierdzenie spektralne