[trealira]

This is just a guess on my part, but I'd also bet that writing inductive proofs (or proofs in general) require more of the language brain than just doing math problems.