数学里有个温柔霸道的词：有且仅有