As soon as I wrote my previous essay, I realized there are several points that require correction or further explication. First, I checked if Stockfish would use against me the same strategy that I described for KRK and KQK, and saw that it does not, which proves I was wrong when I supposed that there are no correct strategies which are substantially different from those I described. It turns out there are, and they are faster in delivering checkmate, especially when starting position is with BK in the center and WK in the corner. The basic difference is that I assumed BK must be squeezed from the center to some edge by pushing it away from WK, by taking immediately under control the line that separates kings, using the major piece, while the engine is not afraid to push BK towards WK, and save that way a few moves needed for WK to approach BK. Second, precise and concise language in which rigorous proofs are written is known to be math. Describing KRK endgame concept mathematical...