The geometry problem solver (REA, 1977)