6.5 补充前提