This proposition is here stated as a postulate. The ground of it
will be found in the concluding section.