Also note that everything in the proof is done within the context of the real numbers.
証明は全て実数直線に関する文脈の中で行われることにも注意。