theorem Th1080: :: NUMBER11:1080

Sum (digits (175,10)) = 13