Of course if one can write a more detailed proof the more he/she gets to the inside of the proof,and i think this should be the ultimate goal of every student in analysis,otherwise one may run into the possibility of ,what you may remember one year you may have forgotten the next.