theorem Th1362: :: NUMBER11:1362

Sum (digits (4800,10)) = 12