theorem Th867: :: NUMBER11:867

Sum (digits (1782,10)) = 18