See Problem 1.10
exr:exteuclid
