Add attempt of proof to LaTeX document