theorem Th232: :: NUMBER11:232

Sum (digits (102,10)) = 3