Continuous Function/Primitive function exists/Fact/Proof