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

Мат. partial proof