四、形式解释论和实质解释论的实例对比