This concerns the "Urdi lemma" in particular, an extension of Apollonius' theorem that allowed an equant in an astronomic model to be replaced with an equivalent epicycle that moved around a deferent centered at half the distance to the equant point.