这一题是脚拉脚模型的应用，这次海淀期末也是此类题型，建议 b 站搜索脚拉脚，  有这一类题型的通用证法。
  
【 在 silentgun (下降沿触发器) 的大作中提到: 】
:  
:
:         正在加载
:        
--
FROM 111.203.202.*