Chung–Graham–Wilson theorem