Closed Real Interval is Compact in Metric Space