Make proper divisors uniq
Add documentation
Add summary-criterion