theorem Th49: :: NUMBER11:49
Sum (digits (170,10)) = 8