вариантное доказательство

Variant proof