Now fix an arbitrary \(n\) and give a proof by strong mathematical induction that \(P(m,n)\) holds for all \(m \ge 0\text{.}\)