theorem Th738: :: NUMBER11:738

Sum (digits (231,10)) = 6