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