New: proof