reinout-g: Wow Serena!
I can't imagine how long it must have took you to get that into 'inv(A)' notation!
Let alone the proof itself.
I finally deciphered it and do understand what you did there.
The idea of taking s for b' inv(A) b really helped met out.
Also I appreciated how you chose to multiply with (A + b b') since it makes it way easier to see where you're going in the proof.
Thanks a lot!