Gândește-te la o carte de colorat. Să presupunem că îți spun că am colorat o hartă folosind doar trei culori, fără ca două țări vecine să împărtășească aceeași culoare. Vrei să verifici că spun adevărul