6.3.1 完备性的保证