Первый кусок (определения и лемма про трудный бит)