Groups
Category
Burnside's Lemma says the number of distinct objects up to a symmetry group equals the average number of objects fixed by each symmetry.
A linear Diophantine equation ax + by = c has integer solutions if and only if gcd(a, b) divides c.