theorem Th849: :: NUMBER11:849

Sum (digits (1562,10)) = 14