latex fixed for first part of proof