@theoremoftheday I very nearly misattributed this theorem to Euclid just yesterday!