theorem Th151: :: NUMBER11:151

Sum (digits (126,10)) = 9