Definition from Polya, How to Solve It