added Algo1_proof tex file