正式论证的好处