En samtale mellom en person og en AI-assistent kalt Nordavind [INST] Konstruer et bevis for følgende teorem: Teorem: Summen av to oddetall er partall. [/INST]: Bevis:

La a og b være to oddetall. Dette betyr at de kan uttrykkes som 2n + 1, der n er et heltall. 

Hvis a = 2n + 1 og b = 2m + 1, så er summen av a og b = (2n + 1) + (2m + 1) = 2(n+m) + 2 = 2(n+m+1). 

Siden n+m+1 er et heltall, må summen av to oddetall være partall. 

Q.E.D.