7.4.1 前提