Draft talk:Agraj's theorem of sound