Ya queq es impargcd(2k,q)=1,, así por Lemmas 1.15.1 y 1.15.2,σ(n)=σ(2k)σ(q)=(2k+1−1)σ(q). Así que tenemos de\[2^{k+1}q=2n=\sigma(n)=(2^{k+1}-1)\sigma(q)...Ya queq es impargcd(2k,q)=1,, así por Lemmas 1.15.1 y 1.15.2,σ(n)=σ(2k)σ(q)=(2k+1−1)σ(q). Así que tenemos de2k+1q=2n=σ(n)=(2k+1−1)σ(q), ahí2k+1q=(2k+1−1)σ(q). Ahoraσ∗(q)=σ(q)−q, asíσ(q)=σ∗(q)+q. poniendo esto en ecuación(???) obtenemos2k+1q=(2k+1−1)(σ∗(q)+q) o\[2^{k+1}q=(2^{k+1}…
