证明定理无外乎是通过命题进行证明的过程对吗