theorem Th1336: :: NUMBER11:1336

Sum (digits (4475,10)) = 20