TY - RPRT TI - The last proof of extreme value theorem and intermediate value theorem AU - Claude-Alain Faure PY - 2022 UR - https://arxiv.org/abs/2209.12682 ID - 2209.12682 ER -