partial proof

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