Maximum


THEOREM   

Maximum is idempotent.

$$\max(x, x) = x$$

Proof available