Fred and Victoria provide the following proofs for vertical angles to be equal.
Fred's proof: angle 2 + angle 3 = 180Á (t is a straight line)
angle 1 + angle 2 = 180Á (PQ is a straight line)
Therefore, angle 1 + angle 2 = angle 2 + angle 3 (Transitive Property of Equality)
Hence, angle 1 = angle 3 (Subtraction Property of Equality)
Victoria's proof: angle 1 + angle 4 = 180Á (t is a straight line)
angle 1 + angle 2 =180Á (PQ is a straight line)
Therefore, angle 1 + angle 2 = angle 1 + angle 4 (Transitive Property of Equality)
Hence, angle 2 = angle 4(Subtraction Property of Equality