Proof

Two case studies. Real numbers.