theorem Th433: :: NUMBER11:433

Sum (digits (1040,10)) = 5