ebe - number theory for programmers
1. divisibility
1.1. divisors
1.2. common divisors
1.3. linear combinations