Algebra - H - Algebraic Proof v2