added mention of missing part of proof