theorem Th469: :: NUMBER11:469

Sum (digits (1400,10)) = 5