reorganization, edits, some new stuff for proof of Kontsevich theorem