add LaTeX sources for proofs
corrections