Ext2 Inequalities Algebraic Proof Of Hmgmamqm Inequality