基础减法定式

虽然这个已经基本上不能称之为定式且难以用于实战了，但好不容易能见到一个歪七扭八的推理链所以还是分享一下