theorem Th763: :: NUMBER11:763

Sum (digits (484,10)) = 16