weills theorem