  We prove a reciprocity formula between Gauss sums that is used in the
computation of certain quantum invariants of 3-manifolds. Our proof uses the
discriminant construction applied to the tensor product of lattices.
