Uniqueness of integers satisfying the Extended Euclidian algorithm
3420
Uniqueness of Extended Euclidean Algorithm
59754
Extended Euclidean Algorithm: backward vs. forward
39698
On uniqueness of sums of prime powers
152333
A problem based on pigeonhole
125174
Combinatorial intuition of identity
4061
Proving there are infinitely many pairs of square-full consecutive integers
118560
Ordered N-Tuples as Cartesian Products of Indexed Families
141227
How to show the integers have same cardinality as the natural numbers?
24091
How many ways can $r$ nonconsecutive integers be chosen from the first $n$ integers?
88736
How does the Axiom of Extensionality prove the uniqueness of Specified sets?
152845
Every integer is the unique sum of a "decreasing" sequence of binomial coefficients
55199
Number Theory in a Choice-less World
153069
Proof for Unique Factorization Domain
114164
Square-free Integers Factorization
25576
Characterization of short exact sequences
32608
Binary expansion Unique
129163
Showing that every positive integer can be represented in this form