duality proof