Nested Interval Property Proof