theorem Th373: :: NUMBER11:373

Sum (digits (420,10)) = 6