当r4c4填6，分r18c7的58两数其中一个数为真和r18c7的58同时为真分别讨论
当r18c7的58同时为真，直接代入会得到矛盾
r18c7的58两数其中一个数为真，JE成立，SK修正，得到以下删数及删数后的图，再把r12c6的123分成12,23和13这三种填数分别讨论

大致已经知道JE-AK1的原理了，离完全懂还差得很远。理论证明很复杂繁琐，也不是我擅长的，已经有大佬证明过这些都是定式，有机会只需套用就行了，发这个贴的目的，只不过是想对JE-AK有那么一丁点的了解罢了