theorem Lemma2: :: FUZNORM1:4

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