O以后都是证明题， 怎么说不是一个路数？