State/Lagranges theorem



=Proof=

=Metadata=