kidhero
Results
1
comments of
kidhero
> claim: > forall n, sum, digit_sum Z: > sum = 1 ^ 2 + 2 ^ 2 + 3 ^ 2 + 4 ^ 2 + 5 ^ 2...