Prove that for coprime each positive integers $a, c$ there is a positive integer $b$ such that $c$ divides $\underbrace{b^{b^{b^{\ldots^b}}}}_\text{b times}-a$