WolframAlpha computational knowledge AI
diagonal intersections of a regular 17-gon