Proving the Algebraic Continuity Laws | Real Analysis