theorem Th310: :: NUMBER11:310

Sum (digits (418,10)) = 13