Доказательство нижних оценок сложности самокорректирующихся схем методом замены базисастатья