self-verifying

Мат. самопроверка