This is stated in [1]} over number fields. For (a), the same procedure given in [2]} works over the referred function fields. For (b) and (c), the proof of the existence of the limit defining the canonical height ([3]}) together with (a) yields the desired.
