up to ex 3.14
Switched to ConTeXt for proofs. All in one file (product)