Compare [i]f[/i] and [i]s[/i] by typing Relation(3[i]f[/i],[i]s[/i]).[br]This theorem has been obtained automatically by using the software tool [url=https://github.com/kovzol/RegularNGons]RegularNGons.[br][/url][br](As of August 2018 this statement cannot be completely proven with GeoGebra, just a numerical check can be performed.)