theorem Th922: :: NUMBER11:922

Sum (digits (23,10)) = 5