ThinkPad,一道证明题