State/Chinese remainder theorem

=Proof=

=Help=

=Metadata=