Exercise
13
.
Prove that
\(\log(7)\)
is irrational.
Hint
.
in-context