задача о правильности

Мат. correctness problem