theorem Th1182: :: NUMBER11:1182
Sum (digits (2075,10)) = 14