corrections to proof of 2.32
deleteme