按照 oi - wiki 上的来说，想问如何证明其正确性。