added orthogonal sum proof to main writeup