Abstract
This is a formalisation of Amicable Numbers, involving some relevant
material including Euler's sigma function, some relevant
definitions, results and examples as well as rules such as
Thābit ibn Qurra's Rule, Euler's Rule, te
Riele's Rule and Borho's Rule with breeders.