If are countable, choose enumerations and map each element of to the first pair at which it occurs. Since is countable, the union is countable.
A periodic function of period is determined by its values on a complete residue system. Thus all periodic functions form a countable union over of the countable sets , and are countable.
The set of bijections is uncountable. Indeed, each binary sequence determines a bijection that swaps and exactly when its th bit is one. This is an injection from the uncountable set of binary sequences.
For prime , the nonzero residues pair with their distinct inverses except for and , so Wilson theorem gives
If composite has a factorization with , both factors occur in . If , the distinct factors and occur and their product is divisible by ; the excluded case is exactly . Thus .
The Fermat-Euler theorem states when . For prime , , giving Fermat's little theorem for ; the form also covers .
If , induction and the binomial theorem show
Indeed, write and raise to the th power; every nonleading binomial term gains enough powers of .
Fix and choose any odd prime . Put
Fermat's theorem gives , and is odd, so . Also , hence . For odd ,
is composite. This generalized repunit pseudoprime construction gives infinitely many distinct base- pseudoprimes because the values are unbounded.
With ,
Adding and subtracting gives
The product of the two multipliers is one, so , which is .
Successive transformations multiply the factors. Equating
and solving gives the relativistic velocity-addition law
During a short time , the rocket loses mass . Conservation of upward momentum, including gravity's impulse and exhaust velocity , gives to first order
which is the stated rocket equation.
Here and , so
Lift-off from rest requires positive initial acceleration,
With , integration gives
The dimensions are , , , , and . Both displayed terms in therefore have dimension .
The Chinese remainder theorem says that for pairwise coprime positive integers , the map
is a bijection. For two moduli, choose with ; then
has residues modulo and modulo . Uniqueness follows because the difference of two solutions is divisible by both coprime moduli, hence by their product. Induction proves the general case.
The two given congruences are compatible modulo , and checking modulo gives
Write with . Use the Chinese remainder theorem to choose
Then modulo each of the pairwise coprime factors , , and , hence modulo .
Assume Newton's second law, , and that each internal pair force is central, so is parallel to . Summing
cancels internal pairs and gives . Taking moments about fixed cancels the internal torques pairwise and gives
The angular momentum about the centre of mass result follows similarly: differentiating introduces no extra term because both total relative position weighted by mass and total relative momentum vanish. Thus its derivative is the external torque about .
Finally, if every mass is and , then about a fixed point
Therefore

There are unlisted articles, also show them or only show them.