RE: Error in proof