For vectors, Lorentz transformations preserve$$x^a x_a$$

For spinors, the key object is the gamma matrices inside the Dirac equation:$$(i\gamma^a \partial_a – m)\psi = 0$$

So by this intuitive guessing and trying, K is found.

To make it more concrete: