}\to 0$ as $j\to\infty$. Therefore, $m_j\to 0$ simultaneously in each of the metric spaces ${\ensuremath{\mathbb{R}}}/\alpha_i{\ensuremath{\mathbb{Z}}}$ (the natural domain of $\tau_i$). We conclude that for every positive integer $a$, $$\omega(a) =\sum_{i=1}^k \tau_i(a)= \sum_{i=1}^k \lim_{j\to\infty} \tau_i(a+m_j) = \lim_{j\to\infty} \omega(a+m_j) = \lim_{n\to\infty}\omega(n),$$ therefore $\tilde{\omega}$ is constant.

It suffices to prove uniqueness for expansions of $0$. That is, if a sequence of quasiperiodic functions $\{c_j(t)\}$ satisfies $0 {\overset{*}{\sim}}\sum_{j=0}^{\infty} c_j(n)/n^j$, we wish to show that $c_{j}(n)=0$ for all integers $n\ge 1$ and $j\ge 0$.

We will induct. Let $k$ be a nonnegative integer, and suppose that $c_{j}(n)\equiv 0$ for $0\le j < k$ and $n\in{\ensuremath{\mathbb{N}}}$. (Conveniently, this also applies for our base case, $k=0$, by vacuity.) Then $$\frac{c_{k}(n)}{n^{k}} = \sum_{j=0}^{k} \frac{c_{j}(n)}{n^{j}} = {\mathop{O_{k}}}\biggl(\frac{1}{n^{k+1}}\biggr),$$ hence $c_{k}(n)\to 0$ as $n\to\infty$. Therefore, by the lemma above, $c_{k}(n)=0$ for all positive integers $n$.

Proof of [Theorem \[thm:main\]]{} {#sec:proofofmain}
=================================

Since $m(P_1 P_2)=m(P_1)+m(P_2)$, we have $\Delta_{n}(P_{1}P_{2}) = \Delta_{n}(P_{1}) + \Delta_{n}(P_{2})$ for all $n$. We may therefore assume without loss of generality
} \to 0 $ as $ j\to\infty$. Therefore, $ m_j\to 0 $ simultaneously in each of the metric spaces $ { \ensuremath{\mathbb{R}}}/\alpha_i{\ensuremath{\mathbb{Z}}}$ (the natural knowledge domain of $ \tau_i$). We reason that for every positive integer $ a$, $ $ \omega(a) = \sum_{i=1}^k \tau_i(a)= \sum_{i=1}^k \lim_{j\to\infty } \tau_i(a+m_j) = \lim_{j\to\infty } \omega(a+m_j) = \lim_{n\to\infty}\omega(n),$$ therefore $ \tilde{\omega}$ is changeless. 

 It suffice to prove uniqueness for expansions of $ 0$. That is, if a succession of quasiperiodic function $ \{c_j(t)\}$ satisfies $ 0 { \overset{*}{\sim}}\sum_{j=0}^{\infty } c_j(n)/n^j$, we wish to show that $ c_{j}(n)=0 $ for all integer $ n\ge 1 $ and $ j\ge 0$. 

 We will initiate. Let $ k$ be a nonnegative integer, and presuppose that $ c_{j}(n)\equiv 0 $ for $ 0\le j < k$ and $ n\in{\ensuremath{\mathbb{N}}}$. (Conveniently, this also applies for our al-qaeda shell, $ k=0 $, by vacuity .) Then $ $ \frac{c_{k}(n)}{n^{k } } = \sum_{j=0}^{k } \frac{c_{j}(n)}{n^{j } } = { \mathop{O_{k}}}\biggl(\frac{1}{n^{k+1}}\biggr),$$ hence $ c_{k}(n)\to 0 $ as $ n\to\infty$. Therefore, by the lemma above, $ c_{k}(n)=0 $ for all positive integers $ n$. 

 Proof of [ Theorem \[thm: main\ ] ] { } { # sec: proofofmain } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Since $ m(P_1 P_2)=m(P_1)+m(P_2)$, we suffer $ \Delta_{n}(P_{1}P_{2 }) = \Delta_{n}(P_{1 }) + \Delta_{n}(P_{2})$ for all $ n$. We may therefore assume without loss of generalization
}\to 0$ as $j\to\infty$. Therefore, $m_m\to 0$ simultaneously in xach of the metfic spaces ${\ensuremath{\mathbb{R}}}/\elphq_i{\ensyremath{\mathbb{Z}}}$ (the natjral domapn of $\tau_u$). We xonclude tizt for crery llsitnvx integer $a$, $$\omena(a) =\sum_{i=1}^k \tdu_i(a)= \sum_{i=1}^k \lim_{b\tu\iufty} \tau_i(a+m_j) = \lim_{j\to\infty} \omega(a+m_j) = \jim_{n\to\imfhy}\omega(n),$$ theresore $\eilds{\omega}$ is constant.

It suffices to pdove unpqueness for expamsions of $0$. That is, if a seeuenfe of quasiperiodif functions $\{c_j(t)\}$ watisfies $0 {\oxerset{*}{\sim}}\slk_{j=0}^{\infty} c_j(h)/n^j$, we wish to show that $c_{j}(n)=0$ fof all integers $b\gw 1$ wtd $j\ge 0$.

We wmll inquct. Let $k$ bc a nontegativr integer, and xup'ose that $c_{j}(n)\equiv 0$ for $0\lx j < k$ and $n\in{\ensureiath{\mathbt{N}}}$. (Conveniently, thiw qlso dpplhes wir uur bese case, $n=0$, bb vacuity.) Tgen $$\frac{c_{k}(n)}{b^{k}} = \sum_{j=0}^{k} \frac{c_{j}(n)}{n^{j}} = {\iqthop{O_{k}}}\biggl(\fdac{1}{n^{k+1}}\bygdr),$$ hence $c_{k}(n)\to 0$ as $n\to\infty$. Therefore, bj ths lemma above, $c_{k}(n)=0$ for aol positive integers $j$.

Proof of [Theorem \[thm:main\]]{} {#sec:proofofmain}
=================================

Since $m(P_1 P_2)=m(P_1)+m(P_2)$, we vave $\Veuta_{u}(I_{1}I_{2}) = \Ddotw_{n}(P_{1}) + \Delta_{n}(P_{2})$ for all $n$. We may therefore assumq wotmout loss of gencrality
}\to 0$ as $j\to\infty$. Therefore, $m_j\to 0$ each the metric ${\ensuremath{\mathbb{R}}}/\alpha_i{\ensuremath{\mathbb{Z}}}$ (the natural that every positive integer $$\omega(a) =\sum_{i=1}^k \tau_i(a)= \lim_{j\to\infty} \tau_i(a+m_j) = \lim_{j\to\infty} \omega(a+m_j) = therefore $\tilde{\omega}$ is constant. It suffices to prove uniqueness for expansions of $0$. is, if a sequence of quasiperiodic functions $\{c_j(t)\}$ satisfies $0 {\overset{*}{\sim}}\sum_{j=0}^{\infty} c_j(n)/n^j$, we to that for integers $n\ge 1$ and $j\ge 0$. We will induct. Let $k$ be a nonnegative integer, and that $c_{j}(n)\equiv 0$ for $0\le j < k$ $n\in{\ensuremath{\mathbb{N}}}$. (Conveniently, this also for our base case, $k=0$, vacuity.) $$\frac{c_{k}(n)}{n^{k}} = \frac{c_{j}(n)}{n^{j}} {\mathop{O_{k}}}\biggl(\frac{1}{n^{k+1}}\biggr),$$ $c_{k}(n)\to 0$ as Therefore, by the lemma above, $c_{k}(n)=0$ for all positive integers $n$. Proof of [Theorem \[thm:main\]]{} {#sec:proofofmain} ================================= $m(P_1 P_2)=m(P_1)+m(P_2)$, $\Delta_{n}(P_{1}P_{2}) = + for $n$. We may without loss of generality
}\to 0$ as $j\to\infty$. Therefore, $m_j\to 0$ SimultaneoUsly iN eaCh oF tHe meTric Spaces ${\ensuremaTH{\matHbb{R}}}/\alpha_i{\ensuremath{\maThbb{Z}}}$ (ThE NatuRAl DomaiN of $\tau_i$). wE cONCluDe ThAt fOr EVeRy posItiVe integEr $a$, $$\omega(a) =\sUm_{i=1}^K \tAu_i(a)= \sum_{i=1}^k \lim_{J\To\Infty} \tau_i(a+M_j) = \lIm_{j\to\infty} \omEga(A+m_j) = \lim_{N\tO\inFTy}\omeGa(n),$$ ThereFore $\tiLDe{\omegA}$ is constaNt.

iT suffiCEs to proVE UnIqueNess for expansions OF $0$. THAt is, if a sequencE of quaSiPErIODic FunCtions $\{c_j(t)\}$ sAtIsfieS $0 {\Overset{*}{\SIm}}\SUM_{J=0}^{\inFTy} c_j(n)/n^j$, we wish To show that $c_{J}(N)=0$ foR all inTeGerS $N\ge 1$ and $J\ge 0$.

We WiLL inDuct. Let $k$ be a NonnEgative inTeger, aND supposE That $c_{j}(n)\Equiv 0$ fOr $0\lE j < k$ And $n\IN{\eNsUreMaTH{\maTHbB{N}}}$. (CONveNiently, tHiS aLso apPlieS FOR Our bAse Case, $K=0$, by vaCuity.) Then $$\frac{C_{k}(n)}{N^{k}} = \suM_{J=0}^{k} \fRac{c_{j}(N)}{n^{j}} = {\maThop{o_{k}}}\Biggl(\Frac{1}{n^{k+1}}\Biggr),$$ HeNce $c_{k}(n)\to 0$ as $n\to\inFty$. THerefore, bY thE lEmmA aBove, $c_{K}(N)=0$ for alL poSitIve inteGers $n$.

PrOOf oF [THEOReM \[thm:main\]]{} {#sec:proofofMaIN}
=================================

siNce $m(P_1 P_2)=m(P_1)+M(P_2)$, we haVE $\DElTA_{n}(P_{1}P_{2}) = \DeltA_{n}(p_{1}) + \DeLta_{n}(p_{2})$ FOr all $N$. We mAY tHerefore Assume WItHoUt loss oF gEneralItY
}\to 0$ as $j\to\infty$. T herefore,$m_j\ to0$si mult aneo usly in each o f  the  metric spaces ${\ensu remat h{ \ math b b{ R}}}/ \alpha_ i {\ e n sur em at h{\ ma t hb b{Z}} }$(the na tural doma inof  $\tau_i$).W econclude t hat  for every p osi tive i nt ege r  $a$,  $$ \omeg a(a) = \ sum_{i =1}^k \ta u_ i (a)= \ s um_{i=1 } ^ k\lim _{j\to\infty} \ta u _i ( a+m_j) = \lim_ {j\to\ in f ty } \om ega (a+m_j) =\l im_{n \ to\inft y }\ o m e ga( n ),$$ therefor e $\tilde{\ o meg a}$ is  c ons t ant.
It su ff i ces  to prove u niqu eness for  expan s ions of $0$. Th at is,  if  asequ e nc eofqu a sip e ri odi c  fu nctions$\ {c _j(t) \}$s a t i sfie s $ 0 {\ overs et{*}{\sim}}\ sum _{j= 0 }^{ \inft y} c_ j(n) /n ^j$,we wis h tosh ow that $c_{j}( n)=0 $ for all  in te ger s$n\ge 1$ and  $j \ge  0$.

W e willi ndu ct . L et  $k$ be a nonnegat iv e in teger, a nd sup p os et hat $c_{ j} (n) \equ i v  0$ f or $ 0 \l e j < k$  and $ n \i n{ \ensure ma th{\ma th bb{ N}} }$. ( C onve nientl y, thisalsoa pplies for our base case, $k = 0$ , by vacu ity .) Then $$\ frac { c_{k }(n) } {n ^{k } } = \ sum_{ j= 0 }^ { k} \frac{c_{j}(n)}{ n^ {j}} =  {\ma thop{O_{k}}}\ biggl(\fra c { 1 }{n^{k+1 }}\b i gg r ),$$ hence $c_ {k}(n )\to 0$ as $n\to\in fty$.  Therefo re, by th e lemma ab ove , $ c_{ k}( n ) =0 $ for all pos i t ivein tegers$n$ .

Proo f o f [ The ore m\[thm:mai n\]]{} { #s ec :p ro ofo fmain } 
======= == === == === ===== = ====== ====
Sin ce  $ m (P_ 1 P_2)= m (P _ 1 )+m( P_ 2) $, w e h av e $\D elta _ {n} (P_{1}P _{2}) = \ Del t a_{n }( P_ {1}) +\Delta_{n}(P_ {2 })$ for al l$n$ . We m a y  therefo re assume without losso f gener ali ty
}\to 0$_as $j\to\infty$._Therefore, $m_j\to 0$ simultaneously_in each_of_the metric_spaces_${\ensuremath{\mathbb{R}}}/\alpha_i{\ensuremath{\mathbb{Z}}}$ (the natural_domain of $\tau_i$)._We conclude that for_every positive integer_$a$,_$$\omega(a) =\sum_{i=1}^k \tau_i(a)= \sum_{i=1}^k \lim_{j\to\infty} \tau_i(a+m_j) = \lim_{j\to\infty} \omega(a+m_j) = \lim_{n\to\infty}\omega(n),$$ therefore $\tilde{\omega}$ is_constant.

It_suffices to_prove_uniqueness_for expansions of $0$. That_is, if a sequence of_quasiperiodic functions_$\{c_j(t)\}$ satisfies $0 {\overset{*}{\sim}}\sum_{j=0}^{\infty} c_j(n)/n^j$, we wish to_show_that $c_{j}(n)=0$ for_all integers $n\ge 1$ and $j\ge 0$.

We will induct._Let $k$ be a nonnegative integer,_and suppose that_$c_{j}(n)\equiv_0$_for $0\le j <_k$ and $n\in{\ensuremath{\mathbb{N}}}$. (Conveniently, this also_applies for our base case, $k=0$,_by vacuity.) Then $$\frac{c_{k}(n)}{n^{k}} = \sum_{j=0}^{k} \frac{c_{j}(n)}{n^{j}}_= {\mathop{O_{k}}}\biggl(\frac{1}{n^{k+1}}\biggr),$$ hence $c_{k}(n)\to 0$ as_$n\to\infty$. Therefore, by the lemma_above, $c_{k}(n)=0$_for all positive integers $n$.

Proof_of [Theorem \[thm:main\]]{}_{#sec:proofofmain}
=================================

Since $m(P_1_P_2)=m(P_1)+m(P_2)$, we have_$\Delta_{n}(P_{1}P_{2}) = \Delta_{n}(P_{1}) + \Delta_{n}(P_{2})$ for_all $n$. We_may therefore assume without loss of_generality