用cp规则证明下题