theorem Th114: :: NUMBER11:114

Sum (digits (91,10)) = 10