Let $T$ be a conservative measure preserving (non-invertible!) transformation of a measure space $(X, \mathscr{F}, m)$ with *infinite* measure $m$. Let $A \in \mathscr{F}$ be such that $X = \cup\_{k=0}^\infty T^{-k} A \pmod{m}$ and $0<m(A)<\infty$. Then the first hitting time $\tau(x):= \inf\{k \ge 1: T^k x \in A\}$ is finite $m$-a.e. $x \in X$ and the induced transformation $T\_A$ defined by $T\_A(x) := T^{\tau(x)} x$ for $x \in A$ is measure preserving on $(A, \mathscr{F} \cap A, m|\_A)$. 


I am trying to prove that the invariant measure $m|\_A$ of the induced transformation can be lifted back to $m$ as follows:
$$
m(B)=\int\_A \sum\_{k=0}^{\tau(x)-1} \mathbb 1(T^k x \in B) m|\_A(dx), \qquad B \in \mathscr{F}.
$$
This is Lemma 1.5.4 of Aaronson's *Introduction to Infinite Ergodic Theory* but I do not understand the proof given, something is strange there. Is this statement actually true? Any hints or references please? 



Lifting back the induced invariant measure / general version of Kac's formula for occupation times
I was not able to find a reference and eventually proved the statement by myself, see Lemma A.3 (in the Appendix) of my paper <https://arxiv.org/abs/1808.05010> 
The idea of the proof reminds that of Aaronson's. 


