lean_workbook_plus_82204

Let $f$ be a bijective function that satisfies\n\n1. $f^{-1}$ is a function defined on $\mathbb N$ .\n\n2. $f(x)+f(y)=f(xy)$\n\nProve that $\exists k\in \mathbb N$ such that $f(k)=1$ .