Proof of completeness of the local conserved quantities in the one-dimensional Hubbard model

We rigorously prove that the local conserved quantities in the one-dimensional Hubbard model are uniquely determined for each locality up to the freedom to add lower-order ones. From this, we can conclude that the local conserved quantities are exhausted by those obtained from the expansion of the transfer matrix.