No More Learning

Given a body of geometrical propositions, it
is not difficult to find a minimum statement of the axioms from which
this body of           can be deduced.