根据下面定义：
①R在A中连通：=（∀x）（∀y）（x，y∈A∧x≠y→xRy∨yRx）
或者R连通：=（∀x）（∀y）（x，y∈fl（R）∧x≠y→xRy∨yRx）
②R在A中强连通：=（∀x）（∀y）（x，y∈A→xRy∨yRx）
或者R强连通：=（∀x）（∀y）（x，y∈fl（R）→xRy∨yRx）
证明：R强连通⇔fl（R）*fl（R））=R∪R^-1。