🔍 Audit the assistant

Three confident claims, one wrong. Which theorem catches it?