いや、プロの数学者の間では常識