Draft talk:Agraj's theorem of Sound