theorem Th76: :: NUMBER11:76

Sum (digits (132,10)) = 6