theorem LukasiDual: :: FUZNORM1:13

for a, b being Element of [.0,1.] holds min ((a + b),1) = 1 - (max (0,(((1 - a) + (1 - b)) - 1)))