>>591
x,x'をAに含まれる任意の2点　y,y'をBに含まれる任意の2点する

A*Bが弧状連結⇒AとBがともに弧状連結　の概略
A*Bでの(x,y)と(x',y)の経路をAに射影すればxとx'の経路になる
Bについても同様

AとBがともに弧状連結⇒A*Bが弧状連結　の概略
(x,y)と(x',y')を(x,y)→(x',y)→(x',y')という経路で繋げばよい