When Students Prove a Theorem without Explicitly Using a Necessary Condition: Digging into a Subtle Problem from Practice