theorem Th1176: :: NUMBER11:1176

Sum (digits (1975,10)) = 22