怎样才能快速写出数学证明过程啊?