for t being BinOp of [.0,1.] holds conorm (conorm t) = t