A precise proof in the source domain reveals exactly which concepts and assumptions the result depen...