government to prove that the evidence it proposed to use at trial was derived from a legitimate source independent of the im- munized testimony, as Kastigar p. United States, U.S. 441, 92 S.Ct. 1663, 82 LEd.2d (1972), required. The immuni- ty agreement was never reduced to writ- ing, but Harvey was able