watson's theorem