Made /basicalgebra/index.html the basicalgebra proof homepage.
Added the Trivial Inequality.