this is axiomatically given.

• 这是以公理的方式提供的。