Sea $n > 1$ un entero. Sea $A$ el conjunto de divisores de $n$ que son menores que $\sqrt n$. Sea $B$ el conjunto de divisores de $n$ que son mayores que $\sqrt n$. Demuestre que existe una función biyectiva $f \colon A \to B$ tal que $a$ divide a $f(a)$ para todo $a \in A$. (Decimos que $f$ es biyectiva si para todo $b \in B$ existe un único $a \in A$ con $f(a) = b$. )