7.5.1 前提