Things proven for one domain can than be pulled back to the other domain along the arrows of duality connections.
Things proven for one domain can than be pulled back to the other domain along the arrows of duality connections.