thus G . f is Function of J,D ; :: thesis: