Finished finding the solution in FDE_Solution.tex and starting writing uniqueness proof