theorem Th86: :: NUMBER11:86

Sum (digits (187,10)) = 16