theorem Th47: :: NUMBER11:47

Sum (digits (160,10)) = 7