性质虽奇妙,却可以证明