https://www.andrewsun.net/panta_rhei/archives/8007
欧几里德空间的现代引入中的一个问题