11.1.4 解法的受限形式