theorem Th845: :: NUMBER11:845

Sum (digits (1496,10)) = 20