A property of the regular nonagon
Compare f and s by typing Relation(3f,s).
This theorem has been obtained automatically by using the software tool RegularNGons.
(As of August 2018 this statement cannot be completely proven with GeoGebra, just a numerical check can be performed.)