finished the presentation
added theorem on output reuse