theorem Th1114: :: NUMBER11:1114

Sum (digits (875,10)) = 20