Угу, но это ограничение неважно.
Ты всё ещё хочешь строгое-строгое доказательство? Или так, идеей, тоже покатит?