证明等式的性质,关于证明等式的性质的所有信息