2.7.4 假设4