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