watsons theorem