theorem Th1322: :: NUMBER11:1322

Sum (digits (4300,10)) = 7