theorem Th316: :: NUMBER11:316

Sum (digits (475,10)) = 16