ChatGPT - Inclusion exclusion proof