Чи змінюється величина арени цирку (манежу) пропорційно розмірам самого цирку?