Algebra - H - Algebraic Proof v1