>>872
δ(A∪B)=d(a_1, b_1)
d(A, B)=d(a_0, b_0)
となるa_0, a_1∈A, b_0, b_1∈Bの存在があやふやですよね。
これでは証明になっていないと思います。