P
Initializing...
Lean-Workbook Syntax 75557: Six equals the sum of its proper divisors · Prove2Me