Made figure smaller, reduced chains of equalities, small edits
Extended proof of main result.
small edits to proof of main result