\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
Let \(p\) be a prime number and \(a, b\) be two natural integers.
Show that if \(p\) divides \(a\) and \(a^2 + b^2\), then \(p\) divides \(b\).
Capture an image of your work. AI teacher feedback takes approximately 10 seconds.