This will fail to verify since the verification does not assume the nonzero property, which is needed to prevent a division-by-zero error.