Update proposition_solution.md