theorem Th736: :: NUMBER11:736
Sum (digits (189,10)) = 18