不动点定理 bùdòngdiǎndìnglǐ fixed-point theorem Definitions Defs Origin Strokes Stroke Words Sentences Sents