Implement transport
Prove equality under quotient of 1/2 and 2/4