Complete the proof

Suppose

ABYZ By the definition of congruence, AB + Y Z By the addition property of equality,

AB + BC #Y2 + BC. Using the given, BC – XY because of the definition of congruence. Applying the substitution

property of equality, AB + BC # Y2 + XY

Applying

AB + BC | Y2 + XY

However, we are given that AC - XZ, which implies AC = xz

by the definition of congruence. Thus, AB YZ,

to