theorem Th811: :: NUMBER11:811

Sum (digits (1078,10)) = 16