Android application that conveniently displays mathematical propositions learned in Algebra.