Continuous Function/Primitive function exists/Fact