Converted appendix to macro maths. Added half of deterministic transport map proof.