19.1 证明和推导