theorem Th132: :: NUMBER11:132

Sum (digits (234,10)) = 9