theorem Th99: :: NUMBER11:99

Sum (digits (48,10)) = 12