State/Multiplication increases size

 =Proof=