Какой диаметр арены цирка?

Почему в любом современном цирке диаметр арены равен 13 метрам?

Цирк в современном виде появился в 18 веке, а его «отцом» считается англичанин Филип Астли. Именно он опытным путём установил, что для лошадей наиболее удобно в полном галопе бежать по кругу диаметром 13 метров. Такой диаметр арены сегодня соблюдается во всех цирках мира.