theorem Th645: :: NUMBER11:645

Sum (digits (3160,10)) = 10