验证卡布列克运算