1: \begin{definition}

2:   We define $S^1$-integration for differential K-theory as in Definition \ref{def:integration_over_S1}

3:   simply by setting

4:   \begin{equation*}

5:     \int_{B\times S^1/B}:=(p_1)_! \colon \hat K^*(B\times S^1)\to \hat

6:     K^{*-1}(B)

7:   \end{equation*}

8:   where we use the differential K-orientation of $p_1\colon B\times S^1\to B$

9:   just described. Note that by Theorem \ref{theo:properties_of_integration} it

10:   has the properties required of $S^1$-integration.

11: \end{definition}

12: