求证：对 $\forall c = 5k$，有 $c^2 = a^2 + b^2$。（$a,b,k \in \mathbb{N^+}$）