State/Minmax addition formula

 =Proof=