Похоже, первый раз изучаем с деткой, что такое доказательство: решаем судоку.