mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof