theorem Th1036: :: NUMBER11:1036

Sum (digits (1564,10)) = 16