``` // o A r = W + µ a, µ in R // | // | b X = W + µ a, for some µ // | __ // a | b = AX = A - X // r - - - - o - - - o W // X a . b = 0 ```   related - #25