theorem Th17: :: NUMBER11:17

Sum (digits (10,10)) = 1