add another version of rewrite proof
add another version of rewrite proof

raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning,raventid/coursera_learning