先看黄色部分，我们知道，任意与一个雷共线的两格最多1雷，任意连续共线的三格最多2雷，1+1+2+1=5，只有都取最大值才能成立，E4为雷，蓝色部分全取等号。再考虑几个边角，我们知道这个马步位置对于5内雷分布是极压迫的，考虑B5，同理，他使C4为雷，故C5非，由B5雷知D4C5中一雷，故D4雷，CDE4三连，这个似乎只能做反证法，因为原因是偏复杂的。E3和F4是同理的，这算是无三连里很强的一个定式，而且发现要求很低，仅需一雷加一5，可用于后续多线索的综合分析

草，找到群友了hhh
原来是你啊（