theorem about the ratio of (2) specific circles within DECAGON
Information: theorem about the ratio of (2) specific circles within DECAGON