Properties of Equality in Algebraic Proof | BlastRoom