theorem Th960: :: NUMBER11:960

Sum (digits (575,10)) = 17