theorem Th932: :: NUMBER11:932

Sum (digits (138,10)) = 12