theorem Th1120: :: NUMBER11:1120

Sum (digits (975,10)) = 21