theorem Th809: :: NUMBER11:809

Sum (digits (1056,10)) = 12