First Steps in Proven Geometry for the Upper Elementary Grades