Special axiom proof for neutral elements

May 26th, 2012 BY  (0 comments)