Provari problem