completeness, intermediate and extreme value theorems