theorem Th41: :: NUMBER11:41

Sum (digits (130,10)) = 4