Principle of making slides: should let the audience get the main points in a short time. Maybe the slides should start with an overview and put the proof and details at the end.