theorem Th944: :: NUMBER11:944

Sum (digits (276,10)) = 15