outline for notations and first proof by henk