theorem Th106: :: NUMBER11:106
Sum (digits (39,10)) = 12