ChatGPT - Induction Proof Issue