Strengthened proof in solution #2