File:MathFoundations40 Correctness in geometrical problem solving