fundamental theorem of duality