数学里最浪漫的的一个词：有且仅有