Sketch的定义与证明