Между двумя блокировками этот инвариант может измениться.