added proof of the second hypothesis about "defined d"