created files for the ortho sum proof thing

-- i'm writing the proof itself to be an input to the main file
-- there's a temporary file i've created so i can compile it as i go
added a file containing my comments on the current draft