Title: An experiment in the teaching of plane geometry comparing the formal method with the informal method