たとえその拡張自身がformula_25-有限であっても、その一意性は保証されない。