This proposition proves that line AD is longest, ED is shorter, FD is shorter than ED, and CD is even shorter.and that for any line there is only one other line with a point on the circle and a point at D that is equal. (Unless you drag it to somewhere it’s not supposed to be)

I like it because it’s colorful.