- Mathematical induction (Wikipedia)
Mathematical induction is a method for proving that a statement P(n) is true for every natural number n, that is, that the infinitely many cases P(0), P(1), P(2), P(3),… all hold. This is done by first proving a simple case, then also showing that if we assume the claim is true for a given case, then the next case is also true.
- Small Sagittarius Star Cloud (Wikipedia)
The Small Sagittarius Star Cloud (also known as Messier 24 and IC 4715) is a star cloud in the constellation of Sagittarius approximately 600 light years wide, which was catalogued by Charles Messier in 1764. It should not be confused with the nearby Large Sagittarius Star Cloud which lies about 10° to the south.