On the spontaneous discovery of a mathematical relation during problem solving