rigorous proof

Строгое доказательство