theorem Th1071: :: NUMBER11:1071

Sum (digits (864,10)) = 18