Euler's theorem
Thus the squared distance between the incenter and the circumcenter of an integer triangle, given by Euler's theorem as "R"2 − 2"Rr", is rational.