theorem Th266: :: NUMBER11:266

Sum (digits (476,10)) = 17