If the parameter \(m\) has a small value, then the resulting distance function is not Euclidean. More specifically, if \(m = 1\), then we have, once again, the situation presented by Weyl. But if, say, \(m = 10^{30}\) (the figure proposed by Forrest himself), then the situation changes. Then it is possible to show that the distance function on the discrete space will approximate the Euclidean distance function as close as one wants. Without presenting all the details, one can show that a Euclidean distance function \(d_{E}\) and the discrete distance function \(d\) are related by a scale factor, i.e., \(d_{E} \frac{(p,q)}{d(p, q)} = \mbox{constant} (m)\), where the constant is determined by the value of \(m\). No calculations are needed once again, to show that the original distance function \(d\) satisfies the Pythagorean theorem.