直接证明

direct proof