数学中有一个很温柔的词叫做有且仅有