theorem Th643: :: NUMBER11:643

Sum (digits (3140,10)) = 8