106,一个证明题