theorem Th248: :: NUMBER11:248
Sum (digits (323,10)) = 8