Given natural number \(n\), find a formula for the number of \(k\) such that \(k\) is coprime to \(n\). Prove the formula works.