removed errors in proof of 3.24,3.32
no changes