abridged proof

Мат. набросок доказательства